Annotated Z bibliography

1 Introduction This annotated Z bibliography contains a selected list of some pertinent publications for Z users. Most of those included are readily available, either as books or in journals. A few unpublished items have been included, where they are particularly relevant and can be obtained reasonably easily. Some references are accompanied by an annotation. This may include a contents list (of a book), a list of the titles of Z related papers (in a collection) with cross references to the full details, or a summary of the work. The bibliography in the last section lists all references in alphabetical order by author. In this section papers are arranged by subject (with authors and brief details of the subject matter), together with cross references to the full details in the bibliography. For justifications for using formality, and quick introductions to Z, see: [63, 199] Cohen/McDermid. Justification of formal methods and notations [204] Meyer. On formalism in specifications [269] Spivey. Introduction to Z [305, 306] Wing. General introduction to formal methods including Z [311] Woodcock. Structuring specifications For discussion about using formal methods in practice, see: 1 [20] Barden et al. Formal methods and safety-critical systems [116] Gerhart. Applications of formal methods [124, 40, 41, 42] Hall and Bowen/Hinchey. Myths and guidance about formal methods [319] Worden. Fermenting and distilling ideas Educational issues are presented and discussed in: [68] Cooper. Educating management [113] Garlan. Effective integration of formal methods into a professional master of software engineering course [252] Saiedian. The mathematics of computing [290] Swatman. Educating information systems professionals Various papers describing good specification style are: [6] Ainsworth et al. The use of viewpoint specifications, a technique with concentrates on making large specifications more understandable [92] Duke. Enhancing structure [122, 123] Gravell. Minimization in specification/design and what makes a good specification [189] Macdonald. Usage and abusage Much work has been done on attempting to integrate Z with traditional structured analysis methods. Some of this is described in: [14] Aujla et al. A rigorous review technique [55] Bryant et al. Structured methodologies and formal notations [90] Draper. Semmens et al. Integrated structured analysis and formal specification techniques [299] van Hee et al. Petri nets and Z Other work towards the development of a 'method' for Z itself include: [20] Barden et al. Z in practice [127] Hall and McDermid. Towards a Z method using axiomatic specification in Z (using order sorted algebra …